Contextual extensions of quantum gravity models

We present a simple way of incorporating the structure contextual extensions into quantum gravity models. The [Formula: see text]-algebras, originally proposed for hidden variables, are generalized to cones indexed by contexts and their limit in category. By abstracting models as functors, we study categorical limits these functors several Such useful building topos-theoretic gravity.